Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
561	Constructive Computation Theory G´ erard Huet An executable computability theory course based on λ-calculus Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2011-08-11 17:16:11 Lambda calculus Formal methods Theoretical computer science Type theory Models of computation De Bruijn index Free variables and bound variables Combinatory logic Hindley–Milner Software engineering Mathematics Computing
562	Structural Recursion over Contextual Objects (Extended Abstract) Brigitte Pientka and Sherry Shanshan Ruan Andreas Abel Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-01-20 17:12:51 Functions and mappings Computability theory Primitive recursive function Recursion Theory of computation Interpretation Function Substitution Μ operator Mathematics Mathematical logic Logic
563	Lecture 3: Introduction to Mathematica II SeptFunctions and Rules R ’s large set of built-in mathematical and graphics functions, the most powerful aspects of Mathematica R Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2009-06-08 11:31:54 Functions and mappings Programming idioms Recursion Computability theory Theory of computation Factorial Pattern matching Function Derivative Mathematics Computer programming Software engineering
564	Submission Guidelines SIGACT News and SIGACT News Online SIGACT News, the quarterly newsletter of the ACM Special Interest Group on Algorithms and Computation Theory, welcomes contributions of interest to the internation Add to Reading List Source URL: www.sigact.org Language: English - Date: 2004-04-09 13:14:45 Computational geometry Science Theoretical computer science ACM SIGACT Computer science
565	A How Can Automatic Feedback Help Students Construct Automata? LORIS D’ANTONI, University of Pennsylvania DILEEP KINI, University of Illinois at Urbana-Champaign RAJEEV ALUR, University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-03-11 17:28:03 Computer science Applied mathematics Deterministic finite automaton Nondeterministic finite automaton DFA Records Finite-state machine Algorithm Counterexample Regular expression Automata theory Models of computation Theoretical computer science
566	String Suffix Automata and Subtree Pushdown Automata Add to Reading List Source URL: www.stringology.org Language: English - Date: 2009-09-02 12:00:50 Formal languages Computer science Mathematics Deterministic pushdown automaton Pushdown automaton Tree automaton Alphabet A Automata theory Models of computation Theoretical computer science
567	Fast: a Transducer-Based Language for Tree Manipulation Loris D’Antoni University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-20 17:09:13 Theoretical computer science Mathematics Formal languages Finite state transducer Finite-state machine Tree automaton Tree Automata theory Mathematical logic Models of computation
568	Corrections to the 2006 book “Modeling, Specification, and Verification using UML Statecharts” Discovered by: Prof. Tom Otani, of NPS Dr. Vahid Reza Ramezani, of UMD Add to Reading List Source URL: www.time-rover.com Language: English - Date: 2011-02-28 22:54:29 Graphic design Automata theory Theoretical computer science Typography Communication design State diagram Paragraph UML state machine Section sign Models of computation Writing UML diagrams
569	Cyclic Evolution of Neuronal Automata with Memory When All the Weighting Coefficients are Strictly Positive Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:17 3M Technology Economy of the United States Algebra Recurrence relation Theory of computation
570	The Quadratic Assignment Problem in Code Optimization for a Simple Universal Turing Machine Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-03-26 17:18:16 Theoretical computer science Computer science Computability theory Alan Turing Algorithm Tag system Finite-state machine Description number Read-only Turing machine Turing machine Theory of computation Models of computation

UPDATE